existential quantification - Turc Anglais Dictionnaire